University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
551	Microsoft Word - OBVL3013a.doc Add to Reading List Source URL: www.epa.gov Language: English - Date: 2012-09-18 15:15:34 Subroutines Procedural programming languages Holism Source code University of Cambridge Computer Laboratory Fortran C Parameter Data file Software engineering Computing Computer programming
552	~Vatallab13 Illg~ January 22, 2013 A Luiri~n LIASILITY LAW PAILTNF.asIIIp VIA E-MAIL [donna-naIeo(~hawaii.rr.com1 and U.S. MAIL Add to Reading List Source URL: files.hawaii.gov Language: English - Date: 2013-05-29 23:20:44 University of Cambridge Computer Laboratory LEO Outsourcing Supply chain management
553	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
554	A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-23 22:30:57 Lisp programming language Functional languages Formal methods Logic in computer science Isabelle ACL2 Mathematical logic Nqthm Common Lisp Computing Software engineering Computer programming
555	COMPUTER PROGRAM FOR THE COMPUTATION OF TOTAL SEDIMENT DISCHARGE BY THE MODIFIED EINSTEIN PROCEDURE by Herbert H. Stevens, Jr. U.S. GEOLOGICAL SURVEY Add to Reading List Source URL: pubs.usgs.gov Language: English - Date: 2010-12-14 12:00:06 Procedural programming languages Data types Holism Source code Subroutine University of Cambridge Computer Laboratory Fortran BASIC Record Computing Software engineering Computer programming
556	Department of Natural Resources Law Enforcement Division Field Operations Weekly Report May 11-17, 2014 Add to Reading List Source URL: www.gadnrle.org Language: English - Date: 2014-08-04 11:13:03 CPL University of Cambridge Computer Laboratory Computing
557	Efficient Template Attacks Omar Choudary and Markus G. Kuhn Computer Laboratory, University of Cambridge [removed] Abstract. Template attacks remain a powerful side-channel technique Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-04 11:23:40 Multivariate statistics Singular value decomposition Data analysis Algebra of random variables Covariance and correlation Principal component analysis Multivariate normal distribution Linear discriminant analysis Covariance Statistics Algebra Linear algebra
558	Department of Natural Resources Wildlife Resources Division Law Enforcement Section Field Operations Weekly Report Add to Reading List Source URL: www.gadnrle.org Language: English - Date: 2014-08-04 12:25:15 CPL University of Cambridge Computer Laboratory Computing
559	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge {firstname}.{lastname}@cl.cam.ac.uk Author’s copy. To appear in LNCS volume of the post-proceedings of IFL’12. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus ALGOL 68 Function Mathematics Adjoint functors Software engineering
560	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Computer Science Tripos Parts IA, IB, and II Summary List of Books Recommended by Lecturers September 2014 This list is prepared once a year for the benefit of College Libraria Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-09-19 05:27:29 Ada Programming language Tripos Semantics of programming languages Functional programming Viable prefix Computing Software engineering Computer programming

UPDATE